#colors() {
    cyan: #003049;
    red: #d62828;
    orange: #f77f00;
    yellow: #fcbf49;
    lemon: #EAE2B7;
}

@colorlist: #003049, #d62828, #f77f00, #fcbf49, #EAE2B7;
@colornamelist: cyan, red, orange, yellow, lemon;
@greylist: #F8F9FA, #E9ECEF, #DEE2E6, #CED4DA, #ADB5BD, #6C757D, #495057, #343A40, #212529;
@text-color: extract(@greylist, 9);